Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
281	Regular Path Queries on Graphs with Data ∗ Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-07-28 06:32:11 Mathematics Combinatorics Regular expression Regular language FO Star height Cycle rank Formal languages Automata theory Theoretical computer science
282	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
283	Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK Add to Reading List Source URL: www.cognitionresearch.org Language: English - Date: 2012-01-09 18:21:58 Computing Parsing Formal grammar Syntax Pattern matching Sequence alignment CYK algorithm Formal languages Software engineering Computer programming
284	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
285	BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-04-26 06:24:23 Formal methods Logic in computer science Notation Programming language Formal verification BRIC Michael Schwartzbach Logic Monad Computing Software engineering Science
286	Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe \| Add to Reading List Source URL: welf.se Language: English - Date: 2013-04-23 05:41:26 Programming language implementation Software engineering Parsing XML LL parser LR parser Document Type Definition Context-free grammar Deterministic context-free grammar Formal languages Computing Compiler construction
287	FoCaLiZe Reference ManualOctober 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:13:51 Cross-platform software Procedural programming languages Coq Compiler OCaml Programming language Formal methods C Logic programming Software Computing Functional languages
288	Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Formal languages Logic in computer science Complexity classes Automata theory Temporal logic Linear temporal logic Modal logic Dynamic logic Model checking Theoretical computer science Mathematics Logic
289	‘Computing’ as Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK ) Add to Reading List Source URL: www.cognitionresearch.org Language: English - Date: 2012-01-09 18:03:26 Science Formal sciences Bioinformatics Formal grammar Regular expression Universal Turing machine Pattern matching Unification Pattern Applied mathematics Formal languages Mathematics
290	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages

UPDATE